منابع مشابه
Adaptable processes
We propose the concept of adaptable processes as a way of overcoming thelimitations that process calculi have for describing patterns of dynamic process evolution.Such patterns rely on direct ways of controlling the behavior and location of runningprocesses, and so they are at the heart of the adaptation capabilities present in manymodern concurrent systems. Adaptable processes ...
متن کاملAdaptable Processes (Extended Abstract)
We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern concurrent systems. Adaptable processes have a locat...
متن کاملLévy processes with adaptable exponent
In this paper we consider Lévy processes without negative jumps, reflected at the origin. Feedback information about the level of the Lévy process (“workload level”) may lead to adaptation of the Lévy exponent. Examples of such models are queueing models in which the service speed or customer arrival rate changes depending on the workload level, and dam models in which the release rate depends ...
متن کاملTowards the Verification of Adaptable Processes
In prior work, with the aim of formally modeling and analyzing the behavior of concurrent processes with forms of dynamic evolution, we have proposed a process calculus of adaptable processes. Our proposal addressed the (un)decidability of two safety properties related to error occurrence. In order to allow for a more comprehensive verification framework for adaptable processes, the ability to ...
متن کاملOn Compensation Primitives as Adaptable Processes
We compare mechanisms for compensation handling and dynamic update in calculi for concurrency. These mechanisms are increasingly relevant in the specification of reliable communicating systems. Compensations and updates are intuitively similar: both specify how the behavior of a concurrent system changes at runtime in response to an exceptional event. However, calculi with compensations and upd...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2012
ISSN: 1860-5974
DOI: 10.2168/lmcs-8(4:13)2012